SkypeMorph: Protocol Obfuscation for Tor Bridges∗ Hooman Mohajeri Moghaddam Baiyu Li Mohammad Derakhshani Ian Goldberg Cheriton School of Computer Science

Source URL: crysp.uwaterloo.ca

• Computing
• Software
• Computer architecture
• Skype
• Videotelephony
• Cryptographic protocols
• Internet protocols
• Skype protocol
• Deep packet inspection
• Voice over IP
• BitTorrent protocol encryption
• Transmission Control Protocol

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Applied mathematics
• Computational linguistics
• Natural language processing
• Speech recognition
• Convolutional neural network
• Language model
• Long short-term memory
• Neural network

Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW

Source URL: www.lix.polytechnique.fr

• Mathematics
• Multiplication
• Polynomials
• Algebra
• Multiplication algorithm
• Computer algebra
• ToomCook multiplication
• Karatsuba algorithm
• Degree of a polynomial
• Finite field
• Remainder
• Computational complexity of mathematical operations

A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m

Source URL: www.cs.bham.ac.uk

• Information theory
• Cryptography
• Information
• Electrical engineering
• Information flow
• Information leakage
• Leak
• Entropy
• Weka
• Memory leak
• Mutual information
• Biometric passport

Poster: Can Johnny Authenticate? Elham Vaziripour, Ray Clinton, Justin Wu, Mark O’Neill, Jordan Whitehead, Scott Heidbrink, Kent Seamons, Daniel Zappala Computer Science Department, Brigham Young University elhamvaziri

Source URL: www.ieee-security.org

• Software
• Computing
• Computer-mediated communication
• Instant messaging clients
• Social media
• Videotelephony
• Computer access control
• Cross-platform software
• Signal
• WhatsApp
• Instant messaging
• Authentication

Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science

Source URL: arxiv.org

• Machine learning
• Artificial intelligence
• Learning
• Statistical randomness
• Q-learning
• Metalearning
• Reinforcement learning
• Artificial neural network
• Meta learning
• Multi-armed bandit
• Markov decision process
• Feature learning

Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Mathematical logic
• Mathematics
• Boolean algebra
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Propositional calculus
• Model checking

Revive: Rebalancing Off-Blockchain Payment Networks Rami Khalil Arthur Gervais Department of Computer Science

Source URL: eprint.iacr.org

• Cryptocurrencies
• Blockchains
• Economy
• Bitcoin
• Computing
• Money
• Alternative currencies
• Ethereum
• Lightning Network
• Smart contract
• RootStock
• Rebalancing investments

SeSE Swedish e-Science Education Anders Hast Director Associate Professor

Source URL: hpcadvisorycouncil.com

• Mathematical software
• Software
• Application software
• KTH Royal Institute of Technology
• MATLAB
• AHT

Department of Political Science Faculty List Office

Source URL: polisci.emory.edu